3

Nonaxiomatizability Results for Infinitary Systemsby Carol Karp

Year:
1968
Language:
english
File:
PDF, 346 KB
english, 1968
4

Horn Sentences in Identity Theoryby K. I. Appel

Year:
1966
Language:
english
File:
PDF, 302 KB
english, 1966
5

On Closure Under Direct Productby C. C. Chang; Anne C. Morel

Year:
1962
Language:
english
File:
PDF, 147 KB
english, 1962
6

Models of Complete Theoriesby R. L. Vaught

Year:
1970
Language:
english
File:
PDF, 216 KB
english, 1970
8

Finite-Quantifier Equivalenceby Carol R. Karp

Year:
1971
Language:
english
File:
PDF, 225 KB
english, 1971